"Robin Milner" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon Plotkin, Colin Stirling, Mads Tofte

Категория: Языкознание

83.06 Mb

#2

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon Plotkin, Colin Stirling, Mads Tofte

9.93 Mb

#3

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Plotkin G., Stirling C.P., Tofte M. (eds.)

Категория: Cs_Computer science, CsPl_Programming languages

5.38 Mb

#4

A calculus of communicating systems

Robin Milner

7.55 Mb

#5

Computing Tomorrow: Future Research Directions in Computer Science

Ian Wand, Robin Milner

4.04 Mb

#6

Communicating and mobile systems: the pi-calculus

Категория: Cs_Computer science, CsAl_Algorithms

1.74 Mb

#7

Communicating and Mobile Systems: the pi-calculus

Категория: science, science, exact

3.22 Mb

#8

Communicating and mobile systems: the [symbol for pi]-calculus

Robin Milner

6.00 Mb

#9

Commentary on Standard ML

Robin Milner, Mads Tofte

708 Kb

#10

Communicating and Mobile Systems. the Pi-Calculus

Категория: Математика

1.31 Mb

#11

The Space and Motion of Communicating Agents

Robin Milner

2.12 Mb

#12

The Definition of Standard ML - Revised

Robin Milner, Mads Tofte, Robert Harper, David MacQueen

16 Kb

#13

The definition of Standard ML, revised

Robin Milner, Mads Tofte, Robert Harper, David MacQueen

Категория: Cs_Computer science, CsPl_Programming languages

663 Kb

#14

Communicating and mobile systems: the pi-calculus

Категория: Cs_Computer science, CsAl_Algorithms

1.76 Mb